Generic programming with C++ concepts and Haskell type classes—a comparison
نویسندگان
چکیده
منابع مشابه
Generic programming with C++ concepts and Haskell type classes - a comparison
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Languages that meet all criteria include Haskell, because of its type classes, and C++ with the concept feature. We refine these criteria into a taxonomy that captures commonalities and differences between type classes in Haskell and concepts in C++, and discuss w...
متن کاملGeneric programming with C++ concepts and Haskell type classes—a comparison JEAN-PHIL IPPE BERNARDY and PATRIK JANSSON
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Languages that meet all criteria include Haskell because of its type classes and C++ with the concept feature. We refine these criteria into a taxonomy that captures commonalities and differences between type classes in Haskell and concepts in C++ and discuss whic...
متن کاملGeneric Programming with Concepts
Generic programming is an indispensable ingredient of modern programming languages. In the C++ programming language, generic programming is implemented by the means of parameterized fragments of code, called templates, in which parameters are constrained by concepts. This thesis consists of six publications investigating different aspects of generic programming with concepts—formal semantics of...
متن کاملthe past hospitalization and its association with suicide attempts and ideation in patients with mdd and comparison with bmd (depressed type) group
چکیده ندارد.
Generic Programming: Controlling Static Specialization with Concepts in C++
Generic programming is a powerful technique for its possibility to design software components parameterized on types (and static values for some languages), and not only on dynamic values. Like in object-oriented programming, the mechanism of specialization, defined here as "static" for generic programming and "dynamic" for object-oriented programming, makes the technique particularly interesti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Programming
سال: 2010
ISSN: 0956-7968,1469-7653
DOI: 10.1017/s095679681000016x